*** empty log message ***

diff --git a/etc/TODO b/etc/TODO
index 25234f6176ddb8828d5afcc26d046aca945c0a2e..c862881ea57f2f665c410e4d346aaaeaff2b1097 100644 (file)
--- a/etc/TODO
+++ b/etc/TODO
@@ -162,3 +162,6 @@
 
 * Remove the special treatment of binary files by DOS and Windows ports.
   They should use find-file-literally and `no-conversion' instead.
+
+* Investigate using GNU Lightning or similar system for incremental
+  (`JIT') compilation.